Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)
by
ISBN 13: 9783642244308
Format: Paperback (261 pages) Publisher: Springer Published: 19 Sep 2011
Save for later
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers: 11176 (Lecture Notes in Computer Science)
by Manuel Mazzara,Iulian Ober,Gwen Salaün
ISBN 13: 9783030047702
Format: Paperback (680 pages) Publisher: Springer Published: 10 Jan 2019
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers: 7684 (Lecture Notes in Computer Science)
by Corina S Pasareanu,Gwen Salaün
ISBN 13: 9783642358609
Format: Paperback (288 pages) Publisher: Springer Published: 09 Jan 2013